基于计算模型的OpenID Connect协议认证性的自动化分析

分析了OpenID Connect协议的消息结构,基于计算模型应用Blanchet演算对OpenID Connect协议进行了形式化建模,应用自动化验证工具Crypto Verif验证了其认证性.结果表明:在OpenID Connect协议中,客户端能够认证终端用户,但是终端用户与授权服务器之间不能相互认证、令牌终端不能认证客户端.为此,给出了OpenID Connect协议中不具有认证性问题的解决方法.     

具有不对称对手信息的两寡头博弈公共渔业资源的动力学模型分析

在假设其中一个船队具有另一个船队的完全成本信息而另一个船队具有其对手的不完全成本信息的条件下,提出了两寡头博弈公共渔业资源的动力学模型,然后应用非线性动力学方法分析了资源可持续利用(即正平衡态的存在性和稳定性)的条件,最后给出了渔业资源的当前储量保持在什么范围才能维持其再生能力(即资源不枯竭).     

基于两级非负线性编码表示的人脸识别

针对大规模人脸识别问题,提出了一种基于两级非负线性编码表示的人脸识别方法.首先利用第一级的线性编码表示,通过在初始的大规模人脸库中寻找对应测试图像的M最近邻,以消除干扰训练样本并降低训练样本集的规模;然后以此M最近邻为训练样本集,通过第二级的线性编码表示实现对测试样本的分类判别.在线性编码表示中,通过进一步引入非负系数约束,更好地改善了分类识别性能.基于AR、ORL和Yale B人脸库的实验结果初步验证了文中所提方法的有效性.     

k-正则图中第二大特征值和最小特征值的界

运用n阶矩阵B=(b_(ij))≥0的第二大特征值的结果,结合图论的背景,得出了n阶k-正则图G的第二大特征值θ_2(A(G))≤k-(?){|N_i∩N_j|},最小的特征值θ_n(A(G))满足:θ_n(A(G))≥-1-(?){k-|N_i∩N_j|-1,k- |N_i∩N_j| 1}.     

满足g+(G)-g-(G)≥2图的刻划

通过对图的测地谱的研究，采用构造的方法给出了g^＋（G）-g^-（G）≥2的图的刻划，同时得到了g^＋（G）=g^-（G）＋1充要条件是G≈K1，n-1或者G≈K3．     

人工免疫中克隆选择算法的改进

在传统的基于免疫的克隆选择算法基础上加以改进，引入了再选择的机制，提出了多层次的动态克隆选择算法，对入侵检测的人工免疫模型进行了有效改进，使得对抗原的识别率更为有效．     

带时滞的脉冲二阶Hopfield神经网络的周期解全局指数稳定性

利用重合度理论和构造Lyapunov泛函，得到了带时滞的脉冲二阶Hopfield神经网络的周期解全局稳定性充分性条件．     

基于Web服务的联合年检系统设计与实现

针对网上联合年检系统对高度集成性和灵活性的要求,提出了一个基于Web服务的网上联合年检系统,并给出了系统的设计与实现.该系统利用Web服务技术不但能实现跨部门、跨平台的多部门协调工作,而且有利于系统功能的重组和进一步扩充.     

基于免疫原理的动态多播路由算法

为了避免传统启发式算法在求解多播路由问题时存在的过早收敛问题,提出了一个新的动态多播路由免疫算法(DCOMIA),此算法利用克隆选择和基因库的思想改善了群体的多样性,并评估了二进制串表示的候选个体.同时,提出了一个改进了的动态约束多播路由问题(MDCMR),试验结果表明:此算法求解该动态多播问题是高效的.     

用PXE组建无盘Win98网络

阐述了用PXE组建无盘Win98网络的具体方法，包括服务器端和工作站端的安装步骤、准备工作、对硬件和软件的要求以及PXE终端软件的增减方法．使用这种方法具有占内存及硬盘空间少、安全性强、安装操作维护简单且易于管理等优点．